翻訳と辞書 Words near each other ・ Invasion of South Georgia ・ Invasion of Sumatra (1942) ・ Invasion of the Bane ・ Invasion of the Bee Girls ・ Invasion of the Blood Farmers ・ Invasion of the Body Snatchas! ・ Invasion of the Body Snatchers ・ Invasion of the Body Snatchers (1978 film) ・ Invasion of the Booty Snatchers ・ Invasion of the Bunny Snatchers ・ Invariance of domain ・ Invariance principle (linguistics) ・ Invariance theorem ・ Invariances ・ Invariant ・ Invariant (computer science) ・ Invariant (mathematics) ・ Invariant (physics) ・ Invariant basis number ・ Invariant convex cone ・ Invariant differential operator ・ Invariant estimator ・ Invariant extended Kalman filter ・ Invariant factor ・ Invariant factorization of LPDOs ・ Invariant manifold ・ Invariant mass ・ Invariant measure ・ Invariant of a binary form ・ Invariant polynomial Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Invariant (computer science) ： ウィキペディア英語版 Invariant (computer science) In computer science, an invariant is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It is a logical assertion that is held to always be true during a certain phase of execution. For example, a loop invariant is a condition that is true at the beginning and end of every execution of a loop. ==Use== Invariants are especially useful when reasoning about whether a computer program is correct. The theory of optimizing compilers, the methodology of design by contract, and formal methods for determining program correctness, all rely heavily on invariants. Programmers often use assertions in their code to make invariants explicit. Some object oriented programming languages have a special syntax for specifying class invariants. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Invariant (computer science)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.